transition:
t0-a-t1;
t1-b-t0;
t1-c-t2;
initial:
t0;
final:
t0;
t2.